soundness of inference rules
推理规则的合法性
热门查询
- willful adj. 有意的；任性的；故意的
- submandibular adj. 下颌下的
- hardpan n. 硬质地层；粘土层；最低点
- dubai n. 迪拜（阿拉伯联合酋长国的酋长国之一）；迪拜港（阿拉伯联合酋长国港市）
- reintroduced v. 再引入，再提出( reintroduce的过去式和过去分词 )
- propagandistic adj. 宣传的；宣传家的
- bury vt. 埋葬；隐藏 n. (Bury)人名；(法)比里；(英、西)伯里；(德、意、罗、波、捷、匈)布里；(俄)布雷
- sanguinary adj. 血腥的；流血的；残暴的
- disconsolate adj. 郁郁不乐的；忧郁的；孤独的
- encompass vt. 包含；包围，环绕；完成
- dk abbr. 丹麦（Denmark）
- remoteness n. 遥远；偏僻；细微；时间久远
- RA abbr. 皇家学院（Royal Academy）；随机存取（Random Access）；研究协会（Research Association）；赤经（Right Ascension） n. (Ra)人名；(日)罗(姓)；(缅)拉；(朝)罗
- hacker n. 电脑黑客，企图不法侵入他人电脑系统的人 n. (Hacker)人名；(英)哈克
- Crescent n. 新月；新月状物；伊斯兰教的标记；土耳其的新月形国徽 adj. 新月形的；逐渐增加的 vt. 以新月形物装饰；使成新月形 n. (Crescent)人名；(法)克雷桑
- MDF abbr. 主配线架，总配线架（Main Distribution Frame）
- flagstaff n. 旗杆
- LAN 局域网（local area network）
- undrinkable adj. 不能喝的；不能饮用的
- Procrustean adj. 普罗克汝斯忒斯的
